Inaccessibility in constructive set theory and type theory

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Inaccessibility in Constructive Set Theory and Type Theory

This paper is the rst in a series whose objective is to study notions of large sets in the context of formal theories of constructivity. The two theories considered are Aczel's constructive set theory (CZF) and Martin-LL of's intuitionistic theory of types. This paper treats Mahlo's-numbers which give rise classically to the enumer-ations of inaccessibles of all transsnite orders. We extend the...

متن کامل

Quotient topologies in constructive set theory and type theory

The standard construction of quotient spaces in topology uses full separation and power sets. We show how to make this construction using only the (generalised) predicative methods available in constructive type theory and constructive set theory. MSC: primary 03F65, 54B15, secondary 03B15, 03E70.

متن کامل

Elementary Constructive Operational Set Theory

We introduce an operational set theory in the style of [5] and [17]. The theory we develop here is a theory of constructive sets and operations. One motivation behind constructive operational set theory is to merge a constructive notion of set ([1], [2]) with some aspects which are typical of explicit mathematics [14]. In particular, one has non-extensional operations (or rules) alongside exten...

متن کامل

Notes on Constructive Set Theory

4 Operations on Sets and Classes 25 4.1 Class Notation . . . . . . . . . . . . . . . . . . . . . . . . . . 25 4.2 Class Relations and Functions . . . . . . . . . . . . . . . . . . 26 4.3 Some Consequences of Union-Replacement . . . . . . . . . . . 27 4.4 Russell’s paradox . . . . . . . . . . . . . . . . . . . . . . . . . 29 4.5 Subset Collection and Exponentiation . . . . . . . . . . . . . . 30...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Annals of Pure and Applied Logic

سال: 1998

ISSN: 0168-0072

DOI: 10.1016/s0168-0072(97)00072-9